1. A first course in abstract algebra /
پدیدآورنده : John B. Fraleigh ; historical notes by Victor Katz
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Abstract
2. AQA A level Computer Science.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
3. Abstract algebra
پدیدآورنده : / by Dipak Chatterjee
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Set theory,Set theory- Abstract
رده :
QA248
.
C355
2001
4. Abstract set theory
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
5. Algebra /
پدیدآورنده : L.E. Sigler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.
رده :
QA152
.
2
.
S56
6. Algebraic and Differential Methods for Nonlinear Control Theory :
پدیدآورنده : Rafael Martínez-Guerra, Oscar Martínez-Fuentes, Juan Javier Montesinos-García.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Commutative algebra.,Geometry, Algebraic.,Nonlinear control theory.,Commutative algebra.,Geometry, Algebraic.,MATHEMATICS-- General.,Nonlinear control theory.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
QA402
.
35
7. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
8. Bridge to abstract mathematics /
پدیدآورنده : Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
9. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
10. Closure Spaces and Logic
پدیدآورنده : by Norman M. Martin, Stephen Pollard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
11. Combinatorial algorithms :
پدیدآورنده : Charles J. Colbourn, Roberto Grossi, Nadia Pisanti (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms, Congresses.,Combinatorial analysis, Congresses.,Algorithms.,Combinatorial analysis.
رده :
QA164
.
I58
2019
12. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
13. Computer mathematics :
پدیدآورنده : editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer science, Congresses.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
9
.
M35
A83
2001eb
14. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
15. Discrete mechanics, geometric integration and Lie-Butcher series :
پدیدآورنده : Kurusch Ebrahimi-Fard, María Barbero Liñán, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Lie algebras, Congresses.,Lie groups, Congresses.,Algebra.,Cybernetics & systems theory.,Differential & Riemannian geometry.,Groups & group theory.,Lie algebras.,Lie groups.,MATHEMATICS-- Algebra-- Intermediate.,Numerical analysis.
رده :
QA252
.
3
16. Dynamical Systems, Control, Coding, Computer Vision
پدیدآورنده : edited by Giorgio Picci, David S. Gilliam.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.
17. FM '99 - formal methods / 2.
پدیدآورنده : Jeannette M. Wing ... (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
18. Fundamentals of mathematics
پدیدآورنده : Bernd S. W. Schreoder
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
S36F8
2010
19. Introduction · to Mathematical Structures and · Proofs
پدیدآورنده : by Larry J. Gerstein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Science (General).
20. Introduction to lattices and order /
پدیدآورنده : B.A. Davey, H.A. Priestley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Lattice theory.
رده :
QA171
.
5
.
D38
2002
